The Rooster and the Butterflies
نویسنده
چکیده
This paper describes a machine-checked proof of the JordanHölder theorem for finite groups. This purpose of this description is to discuss the representation of the elementary concepts of finite group theory inside type theory. The design choices underlying these representations were crucial to the successful formalization of a complete proof of the Odd Order Theorem with the Coq system.
منابع مشابه
P-149: Antioxidant Effects of Dietary Rosemary (Rosmarinus Officinalis) Extract on The Rooster Semen Performance and Sperm Quality
Background: Exposure of sperm membranes to Reactive Oxygen Species induces lipid peroxidation causing membrane breakdown and loss of function. A rosemary extract as dietary additive was assayed for antioxidant effectiveness to improve the quality of rooster semen. Although rosemary extract has been evaluated for in vitro study of semen preservation, up to date no study has been conducted to exa...
متن کاملThe Impact of Organic Selenium Supplementation on Rooster Semen Quality in Liquid Condition
This research was carried out to investigate the effects of various levels of dietary organic selenium supplementation (0, 0.1, 0.2 and 0.3 mg/Kg) on reproductive traits of rooster. Semen was collected using abdominal massage and samples were mixed together. Sperm characteristics including percentage of motile, viable and abnormal sperms were assessed. This experiment was carried out based on...
متن کاملP-146: Fertility and Flow Cytometric Evaluations of Frozen-Thawed Rooster Semen in Cryopreservation Medium Containing Low Density Lipoprotein
Background: Frozen-thawed rooster semen is not reliable for use in artificial insemination in commercial stocks. Low density lipoprotein (LDL) has been assessed for effectiveness as a cryoprotectant in the extender to improve the quality of frozen-thawed rooster semen. Although LDL has been evaluated in a few studies in other species for semen cryopreservation, to date, no study has been conduc...
متن کاملP-55: Cryopreservation of Rooster Semen Using Hand-Made Cryopreservation Media Supplemented with Different Cryoprotectants
Background Cryopreservation procedure for poultry semen is not reliable due to structural and biochemical damages which can lead to reduction in sperm quality and fertility. Development of cryopreservation medium has crucial effects for successful recovery of sperm after freezing. The objective of this study was assessment of cryopreservation of rooster semen using hand-made cryopreservation me...
متن کاملEffect of dietary Satureja khuzistanica powder on semen characteristics and thiobarbituric acid reactive substances concentration in testicular tissue of Iranian native breeder rooster
Because of a paucity of information on the effect of Satureja khuzistanica in male chickens, this study was undertaken to determine the influence of dietary S. khuzistanica powder (SKP) on seminal characteristics and testes thiobarbituric acid reactive substances (TBARS) content in Iranian native breeder rooster. Thirty-six 40-week-old roosters were randomly allotted to 3 equal groups and recei...
متن کامل